Keldysh Institute preprints • Preprint No . 31 , 2010
نویسنده
چکیده
The paper presents the proof of correctness of an experimental supercompiler HOSC dealing with higher-order functions. В работе приводится доказательство корректности экспериментального суперкомпилятора HOSC, работающего с функциями высших порядков.
منابع مشابه
search.bioPreprint: a discovery tool for cutting edge, preprint biomedical research articles
The time it takes for a completed manuscript to be published traditionally can be extremely lengthy. Article publication delay, which occurs in part due to constraints associated with peer review, can prevent the timely dissemination of critical and actionable data associated with new information on rare diseases or developing health concerns such as Zika virus. Preprint servers are open access...
متن کاملThe potential of preprints to accelerate scholarly communication - A bibliometric analysis based on selected journals
This paper quantifies to which extent preprints in arXiv accelerate scholarly communication. The following subject fields were investigated up to the year 2012: High Energy Physics (HEP), Mathematics, Astrophysics, Quantitative Biology, and Library and Information Science (LIS). Publication and citation data was downloaded from Scopus and matched with corresponding preprints in arXiv. Furthermo...
متن کاملHow the Scientific Community Reacts to Newly Submitted Preprints: Article Downloads, Twitter Mentions, and Citations
We analyze the online response to the preprint publication of a cohort of 4,606 scientific articles submitted to the preprint database arXiv.org between October 2010 and May 2011. We study three forms of responses to these preprints: downloads on the arXiv.org site, mentions on the social media site Twitter, and early citations in the scholarly record. We perform two analyses. First, we analyze...
متن کاملFrom Preprints to E-prints: The Rise of Electronic Preprint Servers in Mathematics, Volume 49, Number 1
JANUARY 2002 NOTICES OF THE AMS 23 O ne of the earliest preprint servers in mathematics was launched in July 1991 in the mathematics department of the University of Texas at Austin. Called mp_arc, for “mathematical physics preprint archive”, it was the brainchild of Hans Koch, Rafael de la Llave, and Charles Radin, who had no grander scheme than to provide themselves and their colleagues in mat...
متن کاملPreprints as medium for communicating new ideas, hypotheses, data, analysis and beyond
Preprints emerged as a medium for exchanging ideas and new research data in the physics and mathematics community through the arXiv preprint server, and the phenomenon has since spread to biology and chemistry, with the promulgation of a variety of preprint servers such as PeerJ Preprints and bioRxiv. Partly as a response to the slow publication process where it could take months or even years ...
متن کامل